Blar i HVL Open på forfatter "Lima, Keila"
-
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform
Heldal, Rogardt; Kristensen, Lars Michael; Lima, Keila; Oyetoyan, Tosin Daniel; Nguyen, Ngoc Thanh (Peer reviewed; Journal article, 2023)We present the Coloured Petri Nets (CPNs) modelling of the SmartOcean platform currently under development and aimed at providing cloud-based services for data-driven software systems and applications relying on marine ...